1341. The handbook of research on scalable computing technologies /
پدیدآورنده : [edited by] Kuan-Ching Li [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational grids (Computer systems),Parallel processing (Electronic computers),System design.,Ubiquitous computing.,Computational grids (Computer systems),COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Parallel processing (Electronic computers),System design.,Ubiquitous computing.
رده :
QA76
.
9
.
C58
H356
2010eb
1342. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
1343. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski, 0591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
1344. The making of a new science :
پدیدآورنده : Giorgio Ausiello.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- History.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
17
1345. The (new) Turing omnibus :
پدیدآورنده : A.K. Dewdney.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
رده :
QA76
.
D448
1993
1346. The pre-kernel as a tractable solution for cooperative games :an exercise in algorithmic game theory
پدیدآورنده : Meinhardt, Holger Ingmar, Holger Ingmar Meinhardt
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Game theory,، Kernel functions,، Economics/Management Science,، Game Theory/Mathematical Methods,، Game Theory, Economics, Social and Behav. Sciences,، Economic Theory,، Math Applications in Computer Science
رده :
QA272
.
4
1347. The programming and proof system ATES advanced techniques integration into efficient scientific software
پدیدآورنده : Armand Puccetti (ed.). With contrib. by D. Brocard ...
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving.,Computer programming.,Computer software -- Development.
1348. The second Aizu International Symposium on Parallel Algorithms / Architecture Synthesis : proceedings, March 17-21, 1997, Aizu-Wakamatsu, Fukushima, Japan
پدیدآورنده : sponsored by the University of Aizu; in cooperation with IEEE Computer Society Technical Committee on Computer Architecture ... ]et al.[ ; editors, Nikolay Mirenkov ... ]et al.[
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Parallel algorithms - Congresses , Parallel programming )Computer science( - Congresses
رده :
QA
76
.
642
.
A43
1997
1349. The second Aizu international symposium on parallel algorithms/architecture synthesis :proceedings ,March 17-21 ,1997 ,Aizu -Wakamatsu ,Fukushima ,Japon
پدیدآورنده : Sponsored by the university of Aizu in cooperation with IEEE computer society technical committee on computer architecture...]et al.[; editors Nikolay Mirenkov...]et al.[
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Parallel programming )computer science( -congresses,، Computr algorthims -congresses
رده :
QA
76
.
642
.
A43
1997
1350. The theory of evolution strategies
پدیدآورنده : Hans-Georg Beyer
موضوع : Evolutionary programming (Computer science),Computer algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1351. The theory of evolution strategies
پدیدآورنده : by Hans-Georg Beyer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Evolutionary programming (Computer science)
1352. The traveling salesman
پدیدآورنده : / Gerhard Reinelt
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Traveling-salesman problem.,Heuristic programming.,Algorithms.
رده :
T
,
57
.
78
,.
R47
,
1994
1353. The traveling salesman : computational solutions for TSP applications
پدیدآورنده : Reinelt, Gerhard
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Traveling salesman problem,، Heuristic programming,، Algorithms
رده :
QA
76
.
L28
Vol
.
840
1354. The ultimate algorithmic trading system toolbox + website :
پدیدآورنده : George Pruitt
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic trading of securities.,Futures.,Investment analysis.
رده :
HG4515
.
95
1355. The visualization toolkit :
پدیدآورنده : Will Schroeder, Ken Martin, Bill Lorensen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics.,Object-oriented programming (Computer science),Computer graphics.,Computergraphics.,Dreidimensionale Computergrafik,Object-georiënteerd programmeren.,Object-oriented programming (Computer science),Objektorientierte Programmierung,Visualisatie.
رده :
QA76
.
64
S36
2002
1356. Theoretical aspects of evolutionary computing
پدیدآورنده : Leila Kallel, Bart Naudts, Alex Rogers (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Biology -- Data processing.,Evolutionary programming (Computer science)
1357. Theoretical computer science :
پدیدآورنده : edited by Lian Li, Pinyan Lu, Kun He.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
1358. Theory and Design of Digital Computer Systems
پدیدآورنده : by Douglas Lewin, David Noaks.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Microprogramming.
رده :
TK7888
.
3
B936
1992
1359. Theory and Practice of Geometric Modeling
پدیدآورنده : edited by Wolfgang Stra€er, Hans-Peter Seidel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer hardware.,Computer science.,Software engineering.
